ЯДЕРНАЯ КОНГРУЭНЦИЯ

гомоморфизма алгебраич. систем - конгруэнция на алгебраич. системе А, состоящая из всех пар для к-рых Для всякой конгруэнции алгебраич. системы существует гомоморфизм этой системы, для к-рого является Я. к. Если - Я. к. сильного гомоморфизма алгебраич. системы Ана систему А', то канонич. отображение где есть изоморфизм факторсистемы на систему А'.

Лит. см. при статье Гомоморфизм.
Д. М. Смирнов.